merge(${\it as}$;${\it bs}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$reduce($\lambda$$b$,$l$. s{-}insert($b$;$l$);${\it as}$;${\it bs}$)